Issue2348-instance-instance-same-name.agda:12,13-55
Instance arguments whose type does not end in a named or variable
type are never considered by instance search, so having an instance
argument ⦃ A : Set ⦄ has no effect.
when checking that the expression
⦃ A : Set ⦄
(let X : _
     X = A)
⦃ A = A₁ : Wrap A ⦄ →
X
is a type
Issue2348-instance-instance-same-name.agda:28,8-9
b != Wrap.out w of type B
when checking that the expression p has type
P (proj-like ⦃ A = _ ⦄ ⦃ A = w ⦄)
